Programmation de systèmes réactifs et temps réel ludiques

Modélisation anticipative des systèmes musicaux. Reconnaissance, génération, synchronisation et programmation synchrone temps réel en informatique musicale

RÉSUMÉ. Cet article étudie les apports de la modélisation de l’anticipation musicale à la conception d’application musicale temps réel. Nous proposons d’aborder le problème de l’anticipation sous l’angle de la notion d’attente et à partir de trois questions : quoi attendre ? comment attendre ? et quand attendre ? Ces questions sont formalisées à partir d’outils théoriques variés faisant appel r...

Contributions à l'ordonnancement et l'analyse des systèmes temps réel critiques

Automates temporisés et systèmes multi-agents temps-réel

RÉSUMÉ. La conception de systèmes réactifs répond à des impératifs de correction logique (le système fait ce qu’il doit) et de correction temporelle (le système se conforme à un ensemble de contraintes temporelles). Nous proposons dans cet article une approche globale de conception de systèmes réactifs adaptatifs, c’est-à-dire adaptant dynamiquement leur architecture en fonction du contexte. Po...

Méthodologie de conception de systèmes temps réel et distribués en contexte UML/SysML

The Unified Modeling Language (UML) standardized by the Object Management group (OMG) offers thirteen diagrams, but no facility to handle the requirement management phase which usually starts the development cycle of real-time systems. The SysML standard, including the concept of requirement diagram, has opened new avenues. Nevertheless both UML and SysML lack methodological support. This disse...

Gestion de la surcharge dans les systèmes de gestion de base de données temps réel

We propose a transaction management protocol for increasing concurrency and deadline satisfaction in a real-time distributed database. This protocol combines the concepts of data imprecision and transaction importance. The isolation level tolerated is not maximal, that is, each read transaction may access a data item while another transaction is writing it provided that the amount of inconsiste...